You have chosen Modal Logic within Counterfactual Logic, reports and Modal Logic within Counterfactual Logic.
All three must be different; choose another text.